Windows NT kernel - PDFSEARCH.IO - Document Search Engine

Windows NT kernel
Results: 156

#	Item
121	1 Understanding The Linux Virtual Memory Manager Mel Gorman 15th February 2004 Add to Reading List Source URL: www.csn.ul.ie Language: English - Date: 2007-10-24 13:20:12 Virtual memory Central processing unit Slab allocation Cache C dynamic memory allocation Paging Architecture of Windows NT Kernel Fragmentation Memory management Computer memory Computer architecture
122	Proving Memory Separation in a Microkernel by Code Level Verification Holger Blasum and Sergey Tverdyshev Thorsten Bormer Christoph Baumann Karlsruhe Institute of Technology, SYSGO AG, Klein-Winternheim, Germany Add to Reading List Source URL: www-wjp.cs.uni-saarland.de Language: English - Date: 2012-10-16 07:23:41 Windows NT architecture Formal methods Memory management Separation kernel Formal verification Kernel Microkernel Object Manager C dynamic memory allocation Computer architecture System software Software
123	Microsoft Word - Windows Server 2003 FIPS driver security policy.doc Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-11-27 00:00:00 Windows NT Windows Server Windows Vista Cryptographic software Cache Windows Registry Copy-on-write Kernel Features new to Windows XP Microsoft Windows System software Software
124	Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed] Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:41 Scheduling algorithms Scheduling Linux Microkernel Kernel Separation kernel Linux kernel Process identifier Architecture of Windows NT Computer architecture System software Software
125	Model Stack for the Pervasive Verification of a Microkernel-based Operating System? Matthias Daum, Jan D¨orrenb¨acher, and Sebastian Bogan Saarland University, Computer Science Dept[removed]Saarbr¨ ucken, Germany Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2008-07-22 18:53:53 Device drivers Monolithic kernels Microkernel Kernel Process management Architecture of Windows NT Thread Formal verification Linux kernel Computer architecture System software Computing
126	DeSpe : Modeling the Windows Driver ? Environment Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:36 Device drivers Linux Linux kernel Kernel Ring Windows Driver Model Architecture of Windows NT Operating system Thread Computer architecture Computing System software
127	Reprinted from the Proceedings of the Linux Symposium Volume Two Add to Reading List Source URL: ckrm.sourceforge.net Language: English - Date: 2004-11-19 11:25:33 Monolithic kernels Computing platforms Workload Manager Kernel Linux kernel Architecture of Windows NT Scheduling Operating system Loadable kernel module Computer architecture Computing Software
128	Verification of Windows NT kernel drivers using Zing model checker Tomáš Matoušek http://tm.matfyz.cz CHARLES UNIVERSITY IN PRAGUE Add to Reading List Source URL: tmd.havit.cz Language: English - Date: 2008-07-10 10:24:46 Procedural programming languages Hardware verification languages Promela Model checking Zing E Tomas Matousek C ALGOL 68 Software engineering Computing Programming language theory
129	Windows Kernel Trap Handler and NTVDM Vulnerabilities – Case Study Mateusz "j00ru" Jurczyk ZeroNights 2013 E.0x03 Moscow, Russia Add to Reading List Source URL: j00ru.vexillium.org Language: English - Date: 2013-11-25 11:14:18 Windows NT Virtual DOS machine Programming language implementation Interrupts Interrupt flag Real mode DOS Windows on Windows Computer architecture Microsoft Windows System software
130	Tru64 UNIX Debugging with Audit June 2000 This Best Practice describes how to use the audit subsystem as a tool to trace system calls for debugging purposes. Add to Reading List Source URL: www.tru64unix.compaq.com Language: English - Date: 2003-04-01 06:20:04 Audit Computer architecture Unix System software Mmap Kernel Computing Information technology audit Auditing Architecture of Windows NT Windows NT architecture

UPDATE